A Combinatorial Deenition of Baez-dolan !-categories
نویسنده
چکیده
We give a new combinatorial deenition of a sort of weak !-category originally devised by J. Baez and J. Dolan in nite dimensional cases. Our deenition is a mixture of both inductive and coinductive deenitions, and suitable for`computational category theory.'
منابع مشابه
A Combinatorial De nition of Baez-Dolan !-categories
We give a new combinatorial de nition of a sort of weak !category originally devised by J. Baez and J. Dolan in nite dimensional cases. Our de nition is a mixture of both inductive and coinductive de nitions, and suitable for `computational category theory.' Keyword: weak n-category, bicategory, tricategory, formalized mathematics
متن کاملStructures in Higher - Dimensional
This is an exposition of some of the constructions which have arisen in higher-dimensional category theory. We start with a review of the general theory of operads and multicategories (cf. Bur], Her], Lei1]). Using this we give a new deenition of n-category (a variation on Batanin's); we also give an informal dee-nition in pictures. Next we discuss Gray-categories and their place in coherence p...
متن کاملWeak n-categories: opetopic and multitopic foundations
We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of the concept introduced by Hermida, Makkai and Power, and exhibit a full embedding of this category in the category of symmetric operads with a category of o...
متن کاملPolynomial functors and opetopes
We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation (e.g. drawings of opetopes of any dimension and basic operations like sources, target, and composition); a substantial part of the paper is constituted by drawings and example computations. To relate our definition to the classical definition, we recast the Baez-Dolan ...
متن کاملOn the Breen-Baez-Dolan stabilization hypothesis for Tamsamani’s weak n-categories
In [2] Baez and Dolan established their stabilization hypothesis as one of a list of the key properties that a good theory of higher categories should have. It is the analogue for n-categories of the well-known stabilization theorems in homotopy theory. To explain the statement, recall that Baez-Dolan introduce the notion of k-uply monoidal n-category which is an n+ k-category having only one i...
متن کامل